Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
by Nils Przigoda, Robert Wille, Judith Przigoda
ISBN 13: 9783319728131
Format: Hardcover (268 pages) Publisher: Springer Published: 31 Jan 2018
Save for later